The Amalgam Compiler Infrastructure

AmalgamStatement : Statement { }; concrete BarrierStatement : AmalgamStatement { }; concrete EmptyStatement : AmalgamStatement { VariableSymbol* reference intercluster_register in destination_vars; }; concrete FlushStatement : AmalgamStatement { Expression * owner runlevel in source_ops; Expression * owner severity in source_ops; }; concrete HaltStatement : AmalgamStatement { Expression * owner runlevel in source_ops; }; concrete MagicStatement : AmalgamStatement { }; # TODO: derive this from StoreStatement so other passes understand it??? concrete TestAndSetStatement : AmalgamStatement { VariableSymbol * reference testresult in destination_vars; Expression * owner lock_address in source_ops; };